Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 20 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.83 0.12 1.00

time (sec)

N/A 0.082 1.438 25.957 0.359 0.233 6.343 46.636 0.397

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 48 20 3 22

N.S.

1 1.00 1.09 0.91 1.00 2.18 0.91 0.14 1.00

time (sec)

N/A 0.057 2.086 16.833 0.397 0.245 15.589 56.898 0.401

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 46 19 3 21

N.S.

1 1.00 1.10 0.90 1.00 2.19 0.90 0.14 1.00

time (sec)

N/A 0.031 0.356 15.849 0.394 0.238 11.124 54.155 0.415

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 20 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.83 0.12 1.00

time (sec)

N/A 0.086 1.596 98.329 0.391 0.251 15.946 56.622 0.405

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 22 20 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.00 0.91 0.14 1.00

time (sec)

N/A 0.053 0.976 1.816 0.322 0.252 0.726 35.821 0.413

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 0.14 1.00

time (sec)

N/A 0.029 0.202 3.820 0.324 0.251 0.698 33.858 0.412

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 35 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.46 0.92 0.12 1.00

time (sec)

N/A 0.072 0.722 4.524 0.339 0.248 1.158 34.328 0.430

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 0.92 0.00 1.00

time (sec)

N/A 0.088 5.074 1.691 0.345 0.249 1.904 0.000 0.417

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 0 22 24 51 22 3 24

N.S.

1 1.00 0.00 0.92 1.00 2.12 0.92 0.12 1.00

time (sec)

N/A 0.086 0.000 1.643 0.360 0.241 1.984 30.789 0.423

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

39 39 40 82 0 0 0 0 0

N.S.

1 1.00 1.03 2.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.114 0.185 3.624 0.000 0.000 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

39 39 40 136 0 0 0 0 0

N.S.

1 1.00 1.03 3.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.064 0.047 3.952 0.000 0.000 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 50 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.08 0.92 0.00 1.00

time (sec)

N/A 0.089 1.350 2.322 0.352 0.249 3.832 0.000 0.429

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.00 0.12 1.00

time (sec)

N/A 0.086 1.449 2.332 0.345 0.255 4.435 32.343 0.459

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 0.92 0.00 1.00

time (sec)

N/A 0.085 6.130 6.646 0.356 0.245 5.470 0.000 0.440

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 0 22 24 62 22 3 24

N.S.

1 1.00 0.00 0.92 1.00 2.58 0.92 0.12 1.00

time (sec)

N/A 0.093 0.000 12.283 0.354 0.238 5.594 75.963 0.422

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

87 87 55 125 0 0 0 0 0

N.S.

1 1.00 0.63 1.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.191 0.281 8.078 0.000 0.000 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 53 84 0 0 0 0 0

N.S.

1 1.00 0.61 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.196 0.116 8.891 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

87 87 51 125 0 0 0 0 0

N.S.

1 1.00 0.59 1.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.141 0.137 3.382 0.000 0.000 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

87 87 53 179 0 0 0 0 0

N.S.

1 1.00 0.61 2.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.099 0.102 6.214 0.000 0.000 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 61 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.54 0.92 0.00 1.00

time (sec)

N/A 0.087 1.809 2.658 0.355 0.252 9.810 0.000 0.458

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 63 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.62 1.00 0.12 1.00

time (sec)

N/A 0.085 2.164 2.394 0.356 0.257 14.557 61.450 0.439

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 48 66 3 24

N.S.

1 1.00 1.09 1.00 1.09 2.18 3.00 0.14 1.09

time (sec)

N/A 0.044 0.539 4.617 0.394 0.246 12.007 134.381 0.402

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 37 48 3 24

N.S.

1 1.00 1.09 1.00 1.09 1.68 2.18 0.14 1.09

time (sec)

N/A 0.040 0.658 3.980 0.336 0.263 5.203 114.767 0.418

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 22 27 3 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 1.35 0.15 1.10

time (sec)

N/A 0.026 0.394 3.806 0.301 0.236 2.620 91.292 0.421

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 24 22 3 24

N.S.

1 1.00 1.09 1.00 1.09 1.09 1.00 0.14 1.09

time (sec)

N/A 0.047 0.463 2.032 0.251 0.246 1.611 62.050 0.402

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 39 37 3 24

N.S.

1 1.00 1.09 1.00 1.09 1.77 1.68 0.14 1.09

time (sec)

N/A 0.046 0.377 5.894 0.265 0.245 3.904 111.847 0.409

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 50 51 3 24

N.S.

1 1.00 1.09 1.00 1.09 2.27 2.32 0.14 1.09

time (sec)

N/A 0.049 0.395 3.872 0.268 0.236 9.711 157.124 0.394

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 0 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.00 0.00 1.00

time (sec)

N/A 0.080 1.289 6.779 0.471 0.231 0.000 0.000 0.514

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.00 1.00

time (sec)

N/A 0.079 0.691 4.982 0.407 0.265 120.092 0.000 0.450

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 0 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.00 1.00

time (sec)

N/A 0.066 0.171 4.522 0.343 0.245 6.342 0.000 0.436

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.075 0.606 4.395 0.349 0.238 8.081 4.880 0.582

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 0.92 0.12 1.00

time (sec)

N/A 0.083 0.729 4.230 0.368 0.243 39.301 6.773 0.601

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 0 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 0.00 0.12 1.00

time (sec)

N/A 0.087 0.774 6.388 0.372 0.243 0.000 12.317 0.642

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 67 21 26 3 20

N.S.

1 1.00 1.11 1.00 3.72 1.17 1.44 0.17 1.11

time (sec)

N/A 0.017 0.693 10.666 0.301 0.248 0.771 57.991 0.482

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

17 17 19 17 60 19 26 3 19

N.S.

1 1.00 1.12 1.00 3.53 1.12 1.53 0.18 1.12

time (sec)

N/A 0.010 0.490 19.673 0.265 0.250 0.535 55.511 0.461

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 74 22 26 3 22

N.S.

1 1.00 1.10 1.00 3.70 1.10 1.30 0.15 1.10

time (sec)

N/A 0.023 0.863 29.711 0.335 0.229 1.009 57.923 0.446

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 101 36 44 3 22

N.S.

1 1.00 1.10 1.00 5.05 1.80 2.20 0.15 1.10

time (sec)

N/A 0.025 0.846 22.591 0.360 0.242 1.199 66.739 0.424

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 92 34 44 3 21

N.S.

1 1.00 1.11 1.00 4.84 1.79 2.32 0.16 1.11

time (sec)

N/A 0.016 1.102 56.341 0.276 0.227 0.973 64.020 0.417

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 108 37 44 3 24

N.S.

1 1.00 1.09 1.00 4.91 1.68 2.00 0.14 1.09

time (sec)

N/A 0.035 1.043 135.176 0.328 0.247 2.000 64.501 0.416

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 123 47 61 3 22

N.S.

1 1.00 1.10 1.00 6.15 2.35 3.05 0.15 1.10

time (sec)

N/A 0.025 0.856 95.803 0.362 0.234 1.501 70.286 0.459

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 114 45 61 3 21

N.S.

1 1.00 1.11 1.00 6.00 2.37 3.21 0.16 1.11

time (sec)

N/A 0.016 0.709 75.081 0.317 0.257 1.342 68.065 0.425

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 130 48 61 3 24

N.S.

1 1.00 1.09 1.00 5.91 2.18 2.77 0.14 1.09

time (sec)

N/A 0.034 1.105 135.071 0.381 0.242 2.670 70.331 0.445

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 36 24 26 3 24

N.S.

1 1.00 1.09 1.00 1.64 1.09 1.18 0.14 1.09

time (sec)

N/A 0.058 0.967 21.056 0.251 0.229 0.645 43.083 0.431

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 34 24 26 3 24

N.S.

1 1.00 1.09 1.00 1.55 1.09 1.18 0.14 1.09

time (sec)

N/A 0.055 0.536 0.356 0.245 0.244 0.577 42.683 0.397

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 30 22 24 3 22

N.S.

1 1.00 1.10 1.00 1.50 1.10 1.20 0.15 1.10

time (sec)

N/A 0.035 0.385 0.952 0.235 0.232 0.617 33.976 0.378

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 14 14 10 0 14

N.S.

1 1.00 1.00 1.07 1.00 1.00 0.71 0.00 1.00

time (sec)

N/A 0.018 0.005 1.283 0.190 0.236 0.314 0.000 0.368

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 37 23 26 3 24

N.S.

1 1.00 1.09 1.00 1.68 1.05 1.18 0.14 1.09

time (sec)

N/A 0.054 0.395 1.047 0.237 0.227 0.825 33.955 0.404

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 40 25 27 3 24

N.S.

1 1.00 1.09 1.00 1.82 1.14 1.23 0.14 1.09

time (sec)

N/A 0.059 0.597 0.421 0.238 0.233 0.799 42.817 0.425

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 40 25 27 3 24

N.S.

1 1.00 1.09 1.00 1.82 1.14 1.23 0.14 1.09

time (sec)

N/A 0.057 0.885 27.566 0.234 0.242 0.850 43.576 0.411

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 40 25 27 3 24

N.S.

1 1.00 1.09 1.00 1.82 1.14 1.23 0.14 1.09

time (sec)

N/A 0.059 1.128 24.217 0.261 0.234 0.935 42.946 0.403

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 103 39 42 3 24

N.S.

1 1.00 1.09 1.00 4.68 1.77 1.91 0.14 1.09

time (sec)

N/A 0.229 3.397 8.637 0.337 0.246 0.884 120.615 0.458

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 37 0 123 0 0 0

N.S.

1 1.00 0.93 0.86 0.00 2.86 0.00 0.00 0.00

time (sec)

N/A 0.091 0.197 6.986 0.000 0.247 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 36 38 0 115 0 0 0

N.S.

1 1.00 0.88 0.93 0.00 2.80 0.00 0.00 0.00

time (sec)

N/A 0.153 0.081 8.093 0.000 0.239 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 34 37 0 112 0 0 0

N.S.

1 1.00 0.83 0.90 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 0.068 0.119 7.726 0.000 0.251 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 102 38 42 3 24

N.S.

1 1.00 1.09 1.00 4.64 1.73 1.91 0.14 1.09

time (sec)

N/A 0.253 1.275 12.529 0.284 0.242 1.233 84.219 0.407

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 107 40 44 3 24

N.S.

1 1.00 1.09 1.00 4.86 1.82 2.00 0.14 1.09

time (sec)

N/A 0.175 2.593 6.001 0.317 0.247 1.145 88.953 0.421

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 106 40 44 3 24

N.S.

1 1.00 1.09 1.00 4.82 1.82 2.00 0.14 1.09

time (sec)

N/A 0.360 2.825 27.779 0.316 0.244 1.188 89.280 0.455

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 107 40 44 3 24

N.S.

1 1.00 1.09 1.00 4.86 1.82 2.00 0.14 1.09

time (sec)

N/A 0.283 2.584 21.467 0.302 0.233 1.418 89.122 0.425

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 83 60 0 292 0 0 0

N.S.

1 1.00 0.97 0.70 0.00 3.40 0.00 0.00 0.00

time (sec)

N/A 0.369 0.135 9.345 0.000 0.258 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 59 37 0 196 0 0 0

N.S.

1 1.00 0.88 0.55 0.00 2.93 0.00 0.00 0.00

time (sec)

N/A 0.205 0.161 8.045 0.000 0.257 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 75 60 0 286 0 0 0

N.S.

1 1.00 1.23 0.98 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.170 0.079 8.665 0.000 0.268 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 45 59 0 287 0 0 0

N.S.

1 1.00 0.78 1.02 0.00 4.95 0.00 0.00 0.00

time (sec)

N/A 0.086 0.109 8.247 0.000 0.269 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 135 49 58 3 24

N.S.

1 1.00 1.09 1.00 6.14 2.23 2.64 0.14 1.09

time (sec)

N/A 0.493 1.317 8.642 0.293 0.244 1.977 122.031 0.411

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 140 51 60 3 24

N.S.

1 1.00 1.09 1.00 6.36 2.32 2.73 0.14 1.09

time (sec)

N/A 0.319 1.949 10.731 0.306 0.251 1.824 128.096 0.440

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 139 51 60 3 24

N.S.

1 1.00 1.09 1.00 6.32 2.32 2.73 0.14 1.09

time (sec)

N/A 0.876 2.705 20.690 0.307 0.250 1.755 127.819 0.424

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 140 51 60 3 24

N.S.

1 1.00 1.09 1.00 6.36 2.32 2.73 0.14 1.09

time (sec)

N/A 0.643 3.092 41.624 0.296 0.239 2.197 129.816 0.434

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 22 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.00 1.00 0.14 1.00

time (sec)

N/A 0.046 1.671 26.457 0.336 0.247 0.731 61.049 0.393

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 0.14 1.00

time (sec)

N/A 0.024 0.398 19.908 0.322 0.246 0.726 59.374 0.361

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.067 3.581 60.362 0.371 0.238 1.200 62.056 0.413

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 33 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.50 1.00 0.14 1.00

time (sec)

N/A 0.052 3.734 34.729 0.364 0.234 5.605 76.913 0.447

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 0.14 1.00

time (sec)

N/A 0.026 0.862 16.615 0.383 0.231 3.553 73.316 0.401

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 24 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.076 4.108 122.019 0.363 0.230 7.009 77.604 0.432

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 48 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 2.18 1.00 0.14 1.00

time (sec)

N/A 0.052 2.229 62.138 0.412 0.246 29.093 89.074 0.452

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 46 20 3 21

N.S.

1 1.00 1.10 0.90 1.00 2.19 0.95 0.14 1.00

time (sec)

N/A 0.026 0.800 37.740 0.411 0.236 14.734 85.362 0.414

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 49 22 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.04 0.92 0.12 1.00

time (sec)

N/A 0.074 2.420 118.501 0.403 0.245 20.700 90.581 0.459

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 22 22 3 22

N.S.

1 1.00 1.09 0.91 1.00 1.00 1.00 0.14 1.00

time (sec)

N/A 0.047 1.252 3.162 0.357 0.251 1.180 69.463 0.455

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 21 21 22 3 21

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.05 0.14 1.00

time (sec)

N/A 0.025 0.711 6.669 0.362 0.239 1.175 66.129 0.422

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 35 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 1.46 1.00 0.12 1.00

time (sec)

N/A 0.146 1.380 7.428 0.370 0.244 1.915 65.521 0.435

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.00 1.00

time (sec)

N/A 0.251 9.956 3.334 0.367 0.244 2.817 0.000 0.504

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 51 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.12 1.00 0.12 1.00

time (sec)

N/A 0.253 6.649 2.500 0.372 0.242 2.891 60.962 0.482

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 55 126 0 0 0 0 0

N.S.

1 1.00 0.80 1.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.118 0.126 6.161 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 53 128 0 0 0 0 0

N.S.

1 1.00 0.77 1.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.140 0.143 5.790 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 50 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.08 1.00 0.00 1.00

time (sec)

N/A 0.350 2.214 3.723 0.382 0.244 5.387 0.000 0.480

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.12 1.00

time (sec)

N/A 0.290 3.902 3.884 0.372 0.236 6.056 62.372 0.493

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.00 1.00

time (sec)

N/A 0.508 4.292 20.165 0.391 0.235 8.458 0.000 0.484

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 52 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.17 1.08 0.12 1.00

time (sec)

N/A 0.463 4.877 22.201 0.387 0.233 13.788 65.033 0.491

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 1.00 0.00 1.00

time (sec)

N/A 0.606 11.869 18.231 0.407 0.246 7.146 0.000 0.526

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 62 24 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.58 1.00 0.12 1.00

time (sec)

N/A 0.753 11.225 17.006 0.374 0.256 6.932 167.803 0.493

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 82 309 0 0 0 0 0

N.S.

1 1.00 0.69 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.268 0.213 15.630 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 99 309 0 0 0 0 0

N.S.

1 1.00 0.70 2.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.388 0.338 13.746 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 95 301 0 0 0 0 0

N.S.

1 1.00 0.82 2.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.194 7.331 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 61 305 0 0 0 0 0

N.S.

1 1.00 0.53 2.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.179 0.167 11.792 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 61 24 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.54 1.00 0.00 1.00

time (sec)

N/A 0.793 2.294 4.321 0.382 0.256 14.955 0.000 0.485

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 63 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.62 1.08 0.12 1.00

time (sec)

N/A 0.548 5.059 4.351 0.370 0.250 18.201 123.323 0.492

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 63 26 0 24

N.S.

1 1.00 1.08 0.92 1.00 2.62 1.08 0.00 1.00

time (sec)

N/A 1.401 6.266 21.625 0.371 0.243 24.580 0.000 0.491

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 24 63 26 3 24

N.S.

1 1.00 1.08 0.92 1.00 2.62 1.08 0.12 1.00

time (sec)

N/A 1.072 7.730 33.277 0.405 0.242 31.365 126.876 0.502

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 371 125 126 0 30

N.S.

1 1.00 1.07 0.93 12.37 4.17 4.20 0.00 1.00

time (sec)

N/A 0.071 55.093 5.522 1.582 0.247 108.054 0.000 0.498

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A F(-1) N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 0 177 48 73 3 24

N.S.

1 1.00 1.09 0.00 8.05 2.18 3.32 0.14 1.09

time (sec)

N/A 0.038 0.593 180.000 0.655 0.252 14.038 174.266 0.420

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 144 37 53 3 24

N.S.

1 1.00 1.09 1.00 6.55 1.68 2.41 0.14 1.09

time (sec)

N/A 0.039 0.658 7.016 0.605 0.239 7.015 154.010 0.399

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 95 22 31 3 22

N.S.

1 1.00 1.10 1.00 4.75 1.10 1.55 0.15 1.10

time (sec)

N/A 0.025 0.405 5.815 0.558 0.254 3.891 133.175 0.445